Memory safety - PDFSEARCH.IO - Document Search Engine

Memory safety
Results: 222

#	Item
41	Using Memory Errors to Attack a Virtual Machine Sudhakar Govindavajhala ∗ Andrew W. Appel Princeton University {sudhakar,appel}@cs.princeton.edu Abstract Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2003-03-11 23:05:35 Java platform Computing platforms Memory management Pointer Java virtual machine Java Native Interface Dynamic random-access memory Type safety ECC memory Computing Computer memory Cross-platform software
42	Jessie Plugin Tutorial Frama-C version: Boron Jessie plugin version: 2.26 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Procedural programming languages Pointer Memory safety C Computing Computer programming Software engineering
43	A Practical Dynamic Buffer Overflow Detector Olatunji Ruwase Monica S. Lam Transmeta Corporation Add to Reading List Source URL: www.isoc.org Language: English - Date: 2004-11-17 13:32:32 Software bugs Data types Computer errors Primitive types Arrays Buffer overflow protection Buffer overflow Stack buffer overflow Memory safety Computing Software engineering Computer programming
44	Jessie Plug-In Tutorial Frama-C version: Carbon Jessie plug-in version: 2.28 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Formal methods Procedural programming languages Automated theorem proving Pointer Memory safety ALGOL 68 IP Computing Software engineering Computer programming
45	International Forest Fire News (IFFN) No. 33 (July – December 2005, ISSNIN MEMORY Frank Albini Add to Reading List Source URL: www.fire.uni-freiburg.de Language: English - Date: 2007-07-23 08:37:44 Ecological succession Fire Occupational safety and health Public safety Wildfires Wildfire United States Forest Service Wildfire modeling International Association of Wildland Fire Forestry Wildland fire suppression Firefighting
46	In the Proceedings of the 39th International Symposium on Computer Architecture (ISCAWatchdog: Hardware for Safe and Secure Manual Memory Management and Full Memory Safety Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-05-03 14:35:31 Computer programming Data types Memory management Primitive types Computer architecture Pointer Memory safety C Dangling pointer Computing Software engineering Software bugs
47	eng.theliberty.com http://eng.theliberty.comA False Memory: Nominating the “Nanjing Massacre” to the UNESCO Memory of the World Programme Add to Reading List Source URL: www.unescobkk.org Language: English - Date: 2015-04-22 04:00:55 2nd millennium John Rabe Minnie Vautrin The International Committee for the Nanking Safety Zone Nanjing Nanking John Magee Shūdō Higashinakano Reorganized National Government of China Nanking Massacre International criminal law Asia
48	PRACTICAL LOW-OVERHEAD ENFORCEMENT OF MEMORY SAFETY FOR C PROGRAMS Santosh Ganapati Nagarakatte A DISSERTATION in Computer and Information Science Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-11-19 16:52:36 Data types Primitive types Memory management Software bugs Pointer Memory safety Type safety C Garbage collection Computing Software engineering Computer programming
49	ESSL Fieldwork Minimal Risk Activities Checklist – JANUARYESSL Checklist for Trips, conferences, meetings in the UK and Abroad presenting minimal health and safety risk. This checklist is only suitable for STAFF Add to Reading List Source URL: www.essl.leeds.ac.uk Language: English - Date: 2014-02-03 11:49:58 Risk management Safety engineering Checklist NST Management Health Memory Environmental social science Industrial hygiene Occupational safety and health
50	Technology, Computing, and Simulation Section Editor: Dwayne Westenskow Monitoring with Head-Mounted Displays: Performance and Safety in a Full-Scale Simulator and Part-Task Trainer David Liu, BE (Hons)* Add to Reading List Source URL: www.itee.uq.edu.au Language: English - Date: 2015-04-19 22:14:06 Multimodal interaction Anesthesia Virtual reality Head-mounted display Head-up display HMD Monitoring Virtual retinal display Prospective memory Medicine Mixed reality Emerging technologies